
#include <stdio.h>


int main(void){
	printf("%s\n", "abcd\0");
	printf("%s\n", "1234\0abcd");

	return 0;
}
